//]]>
Unhighlight Highlight
KI 2013: Advances in Artificial Intelligence by Timm, Ingo J. Publication: . XX, 313 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unconventional Computation and Natural Computation by Mauri, Giancarlo. Publication: . XVI, 262 p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Veanes, Margus. Publication: . X, 233 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Czarnecki, Krzysztof. Publication: . XII, 413 p. 172 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
KI 2012: Advances in Artificial Intelligence by Glimm, Birte. Publication: . XIV, 267 p. 89 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Brucker, Achim D. Publication: . X, 177p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Membrane Computing by Gheorghe, Marian. Publication: . 380p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Yahav, Eran. Publication: . XII, 387 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Relational and Algebraic Methods in Computer Science by Swart, Harrie. Publication: . VIII, 363 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Algorithms in (Computer) Systems by Marchetti-Spaccamela, Alberto. Publication: . X, 266 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Membrane Computing by Gheorghe, Marian. Publication: . IX, 393p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Cousot, Radhia. Publication: . XI, 473p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithm Engineering by Müller-Hannemann, Matthias. Publication: . XVI, 513 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programs, Proofs, Processes by Ferreira, Fernando. Publication: . XIV, 450p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Membrane Computing by Păun, Gheorghe. Publication: Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Erwig, Martin. Publication: . XII, 385 p. 156 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
System Modeling and Optimization by Hömberg, Dietmar. Publication: . XII, 568 p. 88 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Using Event-B for Critical Device Software Systems by Singh, Neeraj Kumar. Publication: . XVIII, 326 p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages: 
English |
العربية